cálculo proposicional


cálculo proposicional
Sistema formal de proposiciones y sus relaciones lógicas.

En tanto opuesto al cálculo de predicado, las unidades atómicas del cálculo proposicional son proposiciones simples, inanalizadas en vez de predicados. Las proposiciones simples (atómicas) son denotadas mediante letras minúsculas romanas (p. ej., p, q), y las proposiciones complejas (moleculares) se forman con los símbolos estándares ∧ para "y, ∨ para "o, ⊃ para "si . . . entonces, y ¬ para "no. Como sistema formal, el cálculo proposicional se ocupa de determinar qué fórmulas (formas proposicionales complejas) son probables (esto es, pueden probarse) a partir de los axiomas. Dentro de las proposiciones, las inferencias válidas están reflejadas por las fórmulas probables, porque (para cualquier fórmula A y B) A ⊃ B es probable si y sólo si B es una consecuencia lógica de A. El cálculo proposicional es consistente en el sentido de que no hay en él ninguna fórmula A tal que A y ¬A puedan probarse simultáneamente. Es también completo en el sentido de que la adición de cualquier fórmula no susceptible de prueba como axioma nuevo introduciría una contradicción. Además, existe un procedimiento eficaz para decidir si una fórmula dada puede probarse en el sistema. See also lógica, cálculo de predicado, leyes del pensamiento.

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

  • Cálculo infinitesimal — Saltar a navegación, búsqueda El cálculo infinitesimal o cálculo de infinitesimales constituye una parte muy importante de la matemática moderna. Es normal en el contexto matemático, por simplificación, simplemente llamarlo cálculo. El cálculo,… …   Wikipedia Español

  • cálculo — (Del lat. calcŭlus). 1. m. Cómputo, cuenta o investigación que se hace de algo por medio de operaciones matemáticas. 2. conjetura. 3. Concreción anormal que se forma en la vejiga de la orina y también en la de la bilis, en los riñones y en las… …   Diccionario de la lengua española

  • proposicional — adj. 2 g. 1. Relativo à proposição. 2. cálculo proposicional: álgebra lógica ou álgebra das proposições …   Dicionário da Língua Portuguesa

  • proposicional — adj. Perteneciente o relativo a las proposiciones de la lógica. ☛ V. cálculo proposicional …   Diccionario de la lengua española

  • Cálculo — (Del lat. calculus, guijarro, piedras usadas para enseñar a contar.) ► sustantivo masculino 1 MATEMÁTICAS Cómputo, cuenta que se hace por medio de operaciones matemáticas: ■ cálculo aritmético. 2 Acción de pensar por anticipado los resultados… …   Enciclopedia Universal

  • proposicional — ► adjetivo LÓGICA De la proposición. * * * proposicional. adj. Perteneciente o relativo a las proposiciones de la lógica. □ V. cálculo proposicional. * * * (as used in expressions) actitud proposicional cálculo proposicional …   Enciclopedia Universal

  • cálculo de predicado — Parte de la lógica simbólica moderna que expone de modo sistemático las relaciones lógicas existentes entre las proposiciones que incluyen cuantificadores como todos y algunos. El cálculo de predicados, que suele basarse en alguna forma del… …   Enciclopedia Universal

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español